შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

წელი:
2024
ენა:
english
ფაილი:
EPUB, 59.11 MB
0 / 5.0
english, 2024
2
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

წელი:
2024
ენა:
english
ფაილი:
PDF, 22.43 MB
0 / 5.0
english, 2024